In computer science, type safety is the extent to which a programming language discourages or prevents type errors. A type error is erroneous or undesirable program behaviour caused by a discrepancy between differing data types for the program's constants, variables, and methods (functions), e.
type safety перевод:типовая безопасность (обеспечивается наличием контроля типов (type checking), а также корректным использованием шаблонных классов (template class))